old 9G not in supply any more?

A 9G disk failed on a production server. It is a Dell PowerEdge 2450 and I know the service tag, so I searched on Dell's site. Amazingly it recognized the service tag of the old boxen, but produced only 18G or above and started at $250 a pop.