回転数が4,200回／分で、平均位置決め時間が5ミリ秒の磁気ディスク装置がある。この磁気ディスク装置の平均待ち時間は約何ミリ秒か。ここで、平均待ち時間は、平均位置決め時間と平均回転待ち時間の合計である。