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...