Oh, and BTW - I've seen the OEM cup holder online for substantially less than $400. Try about $113. Still steep, but not out of reach.