Can anyone suggest a source of 5400rpm drives? Only seem able to find 7200rpm models. How big an issue is it to use the 5400 one?