After wrestling with the micro-USB port on my 5130, which is increasingly reluctant to charge the tablet (and of course, now out of warranty *headdesk*), I'm going to break down and get the dock for that purpose. However, in the course of bargain-hunting, I've found what appears to be the same dock, but under different numbers:

Dell website lists Manufacturer Part#: 1FNFG, Dell Part# 452-BBRE.

Third-party sites lists 7CP75 or 462-3793. (only one or the other, but seems a reasonable guess they correspond to one another)

My question: Are these identical, and only numbered differently based on Dell versus non-Dell seller? Or is one a newer version?  I'm aware there has been at least one revision to the dock hardware that fixed some serious issues with the A00 revision, so naturally I'd like to avoid that rev.

Failing any clarification, I'll have to err on the side of caution and go with what's one the Dell site. But that comes with a $30 premium, and I'm tired of throwing good money after bad with regards to charging this thing.  Yes, kicking myself that I nab the steep discount during the President's Day sale. Oh well.