というわけだから安心してPC4200でくんじゃいなさい(;´Д`)
実際には中古で買えばPC5300と4200の値段差はないが
その両者で性能差もでないから気にしなくていい