I would have paid good money to see the docent's face!!
She was an older grandmotherly type and sort of chuckled at the whole thing.
The cafeteria is outstanding btw, Bill’s personal chef is there most of the time and the prices are reasonable. Your tax dollars at work!