Would you consider any form of hypercoagulable workup in patients with acute coronary stent thrombosis?