In the most recent Tech Forum on May 10, it was mentioned that the Dish PVR 721 units would be available at local retailers for $249. My local dealers do not seem to have any and also think that the model has been discontinued. Does anyone know of for sure if this model has been discontinued, but more importantly where can I purchase one?