Are those 400% R2 and Yoda?
Like icruise said, they are apparently VCD figures...
Here's an updated list of what they "definitely" had on display... sounds like there may be a few other things mixed in... still trying to figure it all out.
VCD Prototype [Vintage] Fett
VCD Yoda
VCD R2-D2
Kubrick Series 10
RAH Han Solo
RAH Ep3 Anakin
RAH Ep2 Clone Trooper (Captain/Red)
RAH Ep2 Clone Trooper (Commander/Yellow)