Rockhouse restaurant is called Rockhouse Restaurant.
Pushcart is on the Rockhouse property but at the other end where Pirates Cave used to be...if you know the old Pirates Cave.
More info in the link below...hope it helps.
http://www.rockhouse.com/eat/
