『バンレイシ』という果物

こんにちは。先日、新聞記事で沖縄の果物と掲載されていて、興味を持ちました。友人が今月、沖縄に行く予定なので、お土産にお願いしようと思ってます。友人も見たことも聞いたこともない果物ということなので、どこで購入したらよいのか、わかりません。
『バンレイシ』について、ご存知の方は、販売している場所と価格の目安を教えて頂けると、嬉しいです。