Anyone had this done, or know anyone that's had it done? DH's eyes are terrible (+6.25 and +5.75) and this is the only option for him if he wants anything other than traditional glasses. Any ideas how much it costs?