@Lorenzo
Since you will never run them at the same time, you will have to size the steam boiler for the masher, since that one is bigger than the still, and if we follow the equation above we can come up that a 500 gal masher equals 635,000 BTU/hr = 668.5 lbs/hr = 19.38 BHP so you will need a 20BHP boiler to take care of the masher, but the boiler will run at high fire during the mashing if you want to save some fuel I will recommend to go for a 25BHP.
Just FYI running the entire system at the same time you need is about 1 MMBTU/hr which equals 30BHP, the price increase is really not that much from a 20 to a 30BHP. Let me know if we can help you with a quote.
Good luck.