Does anobody already know if pc editor / flash tools/ ipbox's usb-drivers will work under windows 7 (to flash the box with the new OS)?