One farad @ 12V is (and has been) available for car stereo installations for a while (years).
I also have, in my possesion, a one farad @5V cap that is about the size of three nickles stacked.
I was amazed. Waaaaaaaaay back when, when I was in electronics class, we had to calculate the size of a one farad cap and plate area .... about the best we could do (this was in '72) was about the size of an eighteen wheeler.
When I saw the One Farad(!) cap (~3 years ago) I ordered a couple as samples.
Ain't technology grand? I love this stuff ....
FWIW
Scott