Looking to pick up a Lego Mindstorms EV3 kit for a birthday gift in late January. Anyone know if I am best to wait til after xmas, or do this things go out of stock after Xmas?