No manual is going to have that info for any car. A car is designed for a specific size battery but, but oftentimes other batteries have similar dimensions and post placement and will also work but requires you to do a little research to figure it out.