Those dri core tiles look good. Looks like you'd need about 6 (two wide, three deep) for one machine or you can probably get away with 9 for two machines (three wide, three deep), so about $40-$60. Considering the price of a NIB, that's definitely doable.
Quoted from vid1900:Try those rubber pin boots that keep the pins from sliding around.
That's what all the arcades with concrete floors used to use back in the day.
Also a good idea. I've heard good things about Pin-Butts, and JCS is a great guy to boot.
I'll have to see how much water the basement gets. I know the walls leak a little bit (it's old sandstone), but it looks dry other than that. Definitely the cheaper option!