Windows 8.1 is 15gb+-, so he could use a 32gb ssd as a boot drive but no space for games :/. I wouldn't recommend anything lower than 120gb.
He is on a bit of a budget so I will tell him to either buy a 32GB windows SSD (At least) or get a smaller one, if his budget doesn't allow, and use it as a cache drive.