I just took a look, it actually seems a fairly "enamel-rich" auction with two unique dome clocks and a 5131 as well. Personally I'm not very tempted by auctions, though the 5076s normally fetch way below the lines currently in production (e.g., 5077 or 5089), so with some luck one might even eke out a good deal... ;-)