Oh yeah.
You say that Mark Hamil was told that his father fell into a lava pit. However, at the time he was told that Luke's Father was not necessarily Darth Vader, plot-wise.
Have you still not been able to find the quote?
Lava pit is still the most likely scenario, though.