Wish I was less naive ~12 years ago! My husband at the time had $10k of bikes stolen from a locked bike room, inside of a locked garage. California cops said “oh that sucks..” Thankfully he kept his receipts and insurance covered them though. These days I would 100% carry them upstairs.
Cool thing about my bike shop is every bike they sell is automatically registered with the local police, so the serial number is on record.