Yes, Orange County Comptroller https://occompt.com/official-records/ - it’s where deeds, liens, etc. relating to real property, including DVC deeds, are recorded. In my state we call them Recorder’s offices.Thank you. I can’t believe I don’t know this, but what is the OCC? Orange County something?