Pinball Resource doesn't have them?
Don't they call them push acorns?
It wouldn't' surprise me if they didn't... thinks like this probably don't have wide spread use.
yes they:
http://www.pbresource.com/hauntedhouse.html
Acorn Post Speed Nut
There are 41 used on the game!
These are Nickel Plated, Shinny.
GTB-SC125
$0.30ea