If you take a gander over to the service requests forum and do a search in there, you might come up with some prices from previous requests. Obviously they will be for the old versions but it will certainly give you some sort of idea. Otherwise, I can just pluck a number out of thin air for you.