有什么口径大一点，价格在4000以内的望远镜，像锐星71F？