greg6なら小石拾いしてればいずれ見つかるから頑張って探しなさる
赤石だけが欲しいならy=6くらいをブランチマイニングしていればsmall oreが頻繁に見つかる
あとネザーの方が鉱脈の種類が少ない分赤石鉱脈は見つけやすいよ