Hmmm...good question. I really am going to just have to call my agent. I just don't know.
Just an old junky driver goes for around $2500, but a fully restored Beetle, depending on "how" it is restored (stock, custom) can go for several thousand dollars. Had a guy the other day tell us he wouldn't take 10K for his '66 custom.
It'd be good to know...
Of course, the closer you get it to done, the more the potential loss is emotional more than purely monetary.
It's not hard to find a cheap, LOUD alarm.