As your image file sizes are on the order of 40k I do not see the disadvantage of expanding the small image. But yes the js for this calls the image url and that is the location of the small image
Code:
function swapImage(imageURL) {
if (gImageCapableBrowser) {
document.imageSwap.src = imageURL;
return false;
}
Now that you have standardized the image sizes and proportions it is not as necessary to have proportional images disabled but this set to on should mediate an non-proportionl streching of an image to fit.