うはっ、氷の厚みが800kmとするとホントに500億km^3だ。
恐れ入りました。

大雑把な計算だが
ガニメデの体積700億km^3　質量1.4x10^23kg
氷の体積500億km^3で質量は比重が空隙等も含んでいるだろうから0.8g/cm^3で計算して0.4x10^23kg

芯の岩石分が200億km^3で質量1x10^23kg　比重が5g/cm^3って計算になるが
ガニメデのコアってそんなに鉄分多かったっけか?