A promised, an update on the platen and pump situation.
Platen installed. Isn’t it pretty already?.
The motor I talked about. Bought on Amazon for about 30$.
Everything installed. I found a nice square (5 gal?) bucket with lid at the local hardware store. I drilled holes a little undersized in the lid to give me a nice tight fit on the hoses and keep the dust out. The hoses may seem a little longer than necessary but it is so that I can remove the arm and put it in the holder in the left side of the disk grinder without unhooking everything.
Just for fun, I ran the grinder for about 5 minutes without the pump. This is the temp I got: 74.4F. Of course doing actual grinding would raise the temp much faster.
And then running the grinder again for 5 minutes with the pump. This time: 70.2F.
Of course this is not a proper test but it does show that it is working and I am sure it will be even better with actual use.
Thanks again Nathan. :thumbup:
(And Nick for letting me hijack his thread.

)