Thanks for the tips
I called, but couldn't get a straight answer. I gave the room number and date that we checked out (11/29) but after a little Q & A, I found that it was not the front desk, but a call center. I did a little more digging from my DVC checkin paperwork, called the front desk and spoke with them as well as housekeeping and unfortunately the calculator was not found. It's easily replaced, but she had stored a lot of complex formulas and data needed to complete the course work.