$PSTH I hate to be lazy but do the warrants trade like regular warrants where you need 11.50 to redeem or is there something different. Thank you for saving me some time.