pinball globes

thanks for your help gents. so could that single irl540 mosfet draw 6.3v from the ac power supply? or would i need an ac - dc converter .i will probably need higher rating mosfets for the 24v solenoids then ? i have the flippers , slingshots ,bumpers running off the ac power supply at the moment .