4519 Mini Hot Dog