I have seen Darth Vader's x1 Tie Fighter and Mace Windu's Jedi Starfighter out.  The boxes looked horrible so I didn't buy them.

Are they (the two vehicles together) an assortment or is their a DPCI number for each one?  I've been searching several good SW sites (including this one) to no avail.  Can't seem to find a DPCI number for either vehicle.

Any ideas?