Okay, so no worries that the vet "missed something" and that we need to be concerned that Decker might start spraying and marking in the house because of it. I'll tell Richard this to ease his mind. Sounds like it's just boys being boys.

Thanks everyone!