Sizing new Domino server

Hi,

I want to buy a new server and run Domino 8.5.1 for 125 users. Is there any tools I can use to size what kind of hardware I need? Any problems with installing Domino 8.5.1 on Windows 2008 64-bits?

Thank you.