Has any one found a good source and what model # and where did you buy it from?
Update:

Found the replacement fan needed and have explained where I got them and a idea as to make the fan replacement much faster if needed again in the 7th post in this thread.
Where to get roamio basic or OTA cooling fan replacement