Here's how I was told they were done (asked one of the cooks I know).
Boil the red potatoes whole till soft. Drain water.
Add heavy cream, butter, salt, and garlic powder and smash them.
Sorry I don't know the measurements, but I judge it to taste and by diggy they taste just like them.
Posted by GayleL at recipegoldmine.com.
Source: Rudy2 - July 11, 2000 11:02 AM