Design files for the Mini and Not Quite So Mini HotSpot