My car was recently vandalized and who ever did it took my Jensen DVD/CD player. Insurance says they will replace it with either Pioneer AVH-P4100DVD or AVH-P5100DVD. I'm leaning towards the 4100 one, but I'd like to get some recommendations from you guys before I call back tomorrow and tell em...