Well, I thought the auction was to begin at 1 PM EST. Where I got that I don't know....I think I remember when Spink offered these year sets and seem to recall them going for a bit above market but that they were overall superior sets. I agree with the above that the 1/2 C. drove the 1930 set, although more than I paid for the very scarce proof of that year.
I must say that 2500 IMO is over the top. I might have gone 1500-1800 range.
On the 1935, that was an exceptional crown but max value should likely have been in the 600-800 range, with the others of negligible value. So I would not have been there above 800 whatsoever in any case. I must stress that the currency crown without wear is quite rare (as an example, one key area just as with the Wreaths is the cheekbone of George and also his brow, mustache, jaw and ear; also for some reason there seems to be a large field area on the reverse that takes hits as does St. George's shield and sword, etc.).
Good on you that won lots!