A few years ago. I gained access to what was reported to me to be the funhouse Grease was filmed. Question is anyone know who owned it. i very much want to authenticate this claim.