has anyone noticed that an iPad mini *should* fit nicely into a double-DIN car stereo opening?