Jay, yup! Um's um.
I just did a tour of the Despot, Lowes, two old-style hardware shops with ACE affiliation, and an old-style plumbing supply here in Philly. Both the Despot and Lowes have the identical display and stock, and with the inevitable lacunae and misplaced items. Neither had the whole replacement valve stem and bonnet; both had the packaged items. There are two styles of the Aqua-Seal washers, #80410 and #80413, sold for American Standard faucets. Both have a large collar, both fit onto the boat's valve stem, but the -13 has a smaller diameter bearing surface. My PO apparently used the same washer but cut the collar off. The old style plumbing guy though that the splayed look, the depressed annulus, and the raised dimple were a result of being pressed into the closed position; he sold me two more similar washers.