The “Tippler” that used to tip the waster rock into the lake