No they are not naked short. Take that to the bank. If they were the SEC would have stepped in and DTCC would have been the ones to turn them in.