Will 'Joy Ride' gross more than $13.5m on its 3-day opening weekend?

This is a market on how much 'Joy Ride' (2023) will gross domestically on its opening weekend. The “Domestic Weekend” tab on https://www.boxofficemojo.com/release/rl2732688129/ will be used to resolve this market once the values for the 3-day opening weekend (July 07 - July 09) are final (i.e. not studio estimates). This market will resolve to "Yes" if 'Joy Ride' (2023) grosses more than $13,500,000 on its 3-day opening weekend. Otherwise, this market will resolve to "No". Opening weekend is defined as the first Friday, Saturday, and Sunday of the film's release. Please note, this market will resolve according to the Box Office Mojo number under Domestic Weekend for the 3-day weekend, regardless of whether domestic refers to only the USA, or to USA and Canada, etc. If there is no final data available by July 17, 2023, 11:59:59 PM ET, another credible resolution source will be chosen.