The ZenDriver is available from multiple places.
You can buy the Processor Kit that contains a ZenDriver, a DEVKITC, and a USB Cable for 75$ The Bookstore has enough kits for every student.
You can buy JUST the board. WITHOUT a USB Cable and DEVKITC here for 30$ plus shipping. Keep in mind this store has limited quantity and the product may go out of stock.