EDC tickets go on sale at noon.